Generalized Rolewicz theorem for convexity of higher order
نویسندگان
چکیده
منابع مشابه
Some Properties of Generalized Higher-order Convexity
The generalized divided differences are introduced. They are applied to investigate some properties characterizing generalized higher-order convexity. Among others some support-type property is proved.
متن کاملInequalities and Higher Order Convexity
We study the following problem: given n real arguments a1, ..., an and n real weights w1, ..., wn, under what conditions does the inequality w1f(a1) + w2f(a2) + · · ·+ wnf(an) ≥ 0 hold for all functions f satisfying f (k) ≥ 0 for some given integer k? Using simple combinatorial techniques, we can prove many generalizations of theorems ranging from the Fuchs inequality to the criterion for Schur...
متن کاملSymmetric Fewnomial Inequalities and Higher Order Convexity
We prove a difficult symmetric fewnomial inequality by proving a more general inequality which applies to all functions with nonnegative fourth derivative.
متن کاملHigher - Order Automated Theorem Proving for NaturalLanguage
This paper describes a tableau-based higher-order theorem prover Hot and an application to natural language semantics. In this application, Hot is used to prove equivalences using world knowledge during higher-order uniication (HOU). This extended form of HOU is used to compute the licensing conditions for corrections.
متن کاملHigher-Order Automated Theorem Proving
The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Inequalities & Applications
سال: 2015
ISSN: 1331-4343
DOI: 10.7153/mia-18-99